Skip to main content

Temporal region

Overview​

Definition​

(Elucidation) A temporal region is an occurrent over which processes can unfold

Examples​

As for zero-dimensional temporal region and one-dimensional temporal region

Aliases​

Not defined.

URI​

http://purl.obolibrary.org/obo/BFO_0000008

Subclass Of​

Ontology Reference​

Properties​

Data Properties​

OntologyLabelDefinitionExampleDomainRange
abiis curated in foundryRelates a class to the foundry it is curated in.The class cco:ont00001262 is curated in the foundry 'enterprise_management_foundry' and 'personal_ai_foundry'.entitystring
abidata propertyA data property is a property that is used to represent a data property.entitystring

Object Properties​

OntologyLabelDefinitionExampleDomainRangeInverse Of
abihas backing data sourceRelates an entity to the data source that provides the underlying data for that entity. This property indicates the origin or source of the data that supports the entity.A report entity may have a backing data source that provides the raw data used to generate the report.entityData Source-
abihas template classRelates a subject to its template class.entityTemplate Class-
bfoexists at(Elucidation) exists at is a relation between a particular and some temporal region at which the particular existsFirst World War exists at 1914-1916; Mexico exists at January 1, 2000entitytemporal region-
bfopreceded byb preceded by c = Def b precedes cThe temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the matchoccurrentoccurrentprecedes
bfoprecedes(Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instantsThe temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death.occurrentoccurrent-
bfohas occurrent partb has occurrent part c = Def c occurrent part of bMary's life has occurrent part Mary's 5th birthdayoccurrentoccurrentoccurrent part of
bfohas temporal partb has temporal part c = Def c temporal part of bYour life has temporal part the first year of your lifeoccurrentoccurrenttemporal part of
bfooccurrent part of(Elucidation) occurrent part of is a relation between occurrents b and c when b is part of cMary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis matchoccurrentoccurrent-
bfotemporal part ofb temporal part of c = Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies)Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole gameoccurrentoccurrent-
ccois cause ofx is_cause_of y iff x and y are instances of Occurrent, and y is a consequence of x.occurrentoccurrentcaused by
ccocaused byx caused_by y iff x and y are instances of Occurrent, and x is a consequence of y.occurrentoccurrent-
bfohas first instantt has first instant t' = Def t' first instant of tThe first hour of a year has first instant midnight on December 31temporal regiontemporal instant-
bfohas last instantt has last instant t' = Def t' last instant of tThe last hour of a year has last instant midnight December 31temporal regiontemporal instant-
ccois temporal region oft is temporal region of p iff p occupies temporal region t.temporal region{'or': ['http://purl.obolibrary.org/obo/BFO_0000015', 'http://purl.obolibrary.org/obo/BFO_0000035']}-